9 results
Migrating gradual types
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 32 / 2022
- Published online by Cambridge University Press:
- 06 October 2022, e14
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Explainable dynamic programming
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 18 May 2021, e10
-
- Article
-
- You have access
- Export citation
Systematic identification and communication of type errors*
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 28 / 2018
- Published online by Cambridge University Press:
- 25 January 2018, e2
-
- Article
-
- You have access
- Export citation
Gencel: a program generator for correct spreadsheets
-
- Journal:
- Journal of Functional Programming / Volume 16 / Issue 3 / May 2006
- Published online by Cambridge University Press:
- 25 October 2016, pp. 293-325
-
- Article
-
- You have access
- Export citation
A domain-specific language for experimental game theory
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 6 / November 2009
- Published online by Cambridge University Press:
- 07 September 2009, pp. 645-661
-
- Article
-
- You have access
- Export citation
FUNCTIONAL PEARLS: Probabilistic functional programming in Haskell
-
- Journal:
- Journal of Functional Programming / Volume 16 / Issue 1 / January 2006
- Published online by Cambridge University Press:
- 12 September 2005, pp. 21-34
-
- Article
-
- You have access
- Export citation
Escape from Zurg: an exercise in logic programming
-
- Journal:
- Journal of Functional Programming / Volume 14 / Issue 3 / May 2004
- Published online by Cambridge University Press:
- 14 April 2004, pp. 253-261
-
- Article
-
- You have access
- Export citation
Inductive graphs and functional graph algorithms
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 5 / September 2001
- Published online by Cambridge University Press:
- 29 August 2001, pp. 467-492
-
- Article
-
- You have access
- Export citation
Diets for fat sets
-
- Journal:
- Journal of Functional Programming / Volume 8 / Issue 6 / November 1998
- Published online by Cambridge University Press:
- 01 November 1998, pp. 627-632
-
- Article
-
- You have access
- Export citation